Verification of cardiac tissue electrophysiology simulators using an N-version benchmark.

نویسندگان

  • Steven A Niederer
  • Eric Kerfoot
  • Alan P Benson
  • Miguel O Bernabeu
  • Olivier Bernus
  • Chris Bradley
  • Elizabeth M Cherry
  • Richard Clayton
  • Flavio H Fenton
  • Alan Garny
  • Elvio Heidenreich
  • Sander Land
  • Mary Maleckar
  • Pras Pathmanathan
  • Gernot Plank
  • José F Rodríguez
  • Ishani Roy
  • Frank B Sachse
  • Gunnar Seemann
  • Ola Skavhaug
  • Nic P Smith
چکیده

Ongoing developments in cardiac modelling have resulted, in particular, in the development of advanced and increasingly complex computational frameworks for simulating cardiac tissue electrophysiology. The goal of these simulations is often to represent the detailed physiology and pathologies of the heart using codes that exploit the computational potential of high-performance computing architectures. These developments have rapidly progressed the simulation capacity of cardiac virtual physiological human style models; however, they have also made it increasingly challenging to verify that a given code provides a faithful representation of the purported governing equations and corresponding solution techniques. This study provides the first cardiac tissue electrophysiology simulation benchmark to allow these codes to be verified. The benchmark was successfully evaluated on 11 simulation platforms to generate a consensus gold-standard converged solution. The benchmark definition in combination with the gold-standard solution can now be used to verify new simulation codes and numerical methods in the future.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Considerations for the use of cellular electrophysiology models within cardiac tissue simulations.

The use of mathematical models to study cardiac electrophysiology has a long history, and numerous cellular scale models are now available, covering a range of species and cell types. Their use to study emergent properties in tissue is also widespread, typically using the monodomain or bidomain equations coupled to one or more cell models. Despite the relative maturity of this field, little has...

متن کامل

Software Co-Verification Based on Program Traces from Different Processors

High complexity and tight time-to-market have created new challenges in Multiprocessor System-on-Chip (MPSoC) designs. Virtual platforms play an important role in this scenario, by enabling design space exploration, functional verification, and IP reuse. Processors are key components on such virtual platforms, where Architecture Description Languages are usually applied to automatically generat...

متن کامل

Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue

Implantable cardiac devices like pacemakers and defibrillators are life-saving medical devices. To verify their functionality, there is a need for heart models that can simulate interesting phenomena and are relatively computationally tractable. In this benchmark we implement a model of the electrical activity in excitable cardiac tissue as a network of nonlinear hybrid automata. The model has ...

متن کامل

Chaste: A case study of parallelisation of an open source finite-element solver with applications to computational cardiac electrophysiology simulation

The simulation of cardiac electrophysiology is a mature field in computational physiology. Recent advances in medical imaging, high-performance computing and numerical methods mean that computational models of electrical propagation in human heart tissue are ripe for use in patient-specific simulation for diagnosis, for prognosis and for selection of treatment methods. However, in order to move...

متن کامل

The effects of 4 weeks aerobic training on oxidative and angiogenesis markers of cardiac tissue in type 2 diabetic male wistar rats

Background and Aim: Type 2 diabetes exerts oxidative and anti-angiogenesis effects on the cardiac tissue through different pathways.  The aim of present study was to investigate the effects of 4 weeks aerobic training on levels of ROS and NO and gene expression of HIF-1α and VEGF of cardiac tissue in type 2 diabetic male wistar rats. Materials and Methods: In an experimental study, 30 male wist...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

دوره 369 1954  شماره 

صفحات  -

تاریخ انتشار 2011